Krivine, Jean : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (47)
Les plus populaires
Liste
- Liste
- Tableau

1

Une Preuve Formelle et Intuitionniste du Théorème de Complétude de la Logique Classique

Jean-Louis Krivine

Journal:

Bulletin of Symbolic Logic

Année:

1996

Fichier:

PDF, 362 KB

1996

2

The Kappa platform for rule-based modeling

Boutillier, Pierre, Maasha, Mutaamba, Li, Xing, Medina-Abarca, Héctor F, Krivine, Jean, Feret, Jérôme, Cristescu, Ioana, Forbes, Angus G, Fontana, Walter

Journal:

Année:

2018

Langue:

english

Fichier:

PDF, 3.76 MB

english, 2018

3

Forcing and generalized quantifiers

Jean-Louis Krivine, Kenneth Mc Aloon

Journal:

Annals of Mathematical Logic

Année:

1973

Langue:

english

Fichier:

PDF, 2.91 MB

english, 1973

4

Classical logic, storage operators and second-order lambda-calculus

Jean-Louis Krivine

Journal:

Annals of Pure and Applied Logic

Année:

1994

Langue:

english

Fichier:

PDF, 1.88 MB

english, 1994

5

A call-by-name lambda-calculus machine

Jean-Louis Krivine

Journal:

Higher-Order and Symbolic Computation

Année:

2007

Langue:

english

Fichier:

PDF, 253 KB

english, 2007

6

Intrinsic information carriers in combinatorial dynamical systems

Harmer, Russ, Danos, Vincent, Feret, Jéro^me, Krivine, Jean, Fontana, Walter

Journal:

Chaos An Interdisciplinary Journal of Nonlinear Science

Année:

2010

Langue:

english

Fichier:

PDF, 546 KB

english, 2010

7

AUGMENTING EXPERIENCE-BASED DIAGNOSIS WITH CAUSAL REASONING

DAVID, JEAN-MARC, KRIVINE, JEAN-PAUL

Journal:

Applied Artificial Intelligence

Année:

1989

Langue:

english

Fichier:

PDF, 352 KB

english, 1989

8

[Lecture Notes in Mathematics] Séminaire Bourbaki vol. 1968/69 Exposés 347-363 Volume 179 || Théorèmes de consistance en théorie de la mesure de R. Solovay

Krivine, Jean-Louis

Année:

1971

Langue:

french

Fichier:

PDF, 368 KB

french, 1971

9

Realizability algebras III: some examples

KRIVINE, JEAN-LOUIS

Journal:

Mathematical Structures in Computer Science

Année:

2018

Langue:

english

Fichier:

PDF, 314 KB

english, 2018

10

A cohort study of enfuvirtide immunological and virological efficacy in clinical practice

Boris Bienvenu, Anne Krivine, Florence Rollot, Marie-Pierre Pietri, Valérie Lebault, Jean-François Meritet, Corinne Guerin, Gabriela Spiridon, Dominique Salmon, Loïc Guillevin, Pierre Lebon, Odile Lau

Journal:

Journal of Medical Virology

Année:

2006

Langue:

english

Fichier:

PDF, 100 KB

english, 2006

11

Causal model-based knowledge acquisition tools: discussion of experiments

Jean Charlet, Chantal Reynaud, Jean-Paul Krivine

Journal:

International Journal of Human-Computer Studies

Année:

1996

Langue:

english

Fichier:

PDF, 286 KB

english, 1996

12

A general storage theorem for integers in call-by-name λ-calculus

Jean-Louis Krivine

Journal:

Theoretical Computer Science

Année:

1994

Langue:

english

Fichier:

PDF, 1.13 MB

english, 1994

13

Formal Molecular Biology Done in CCS-R

Vincent Danos, Jean Krivine

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2007

Langue:

english

Fichier:

PDF, 356 KB

english, 2007

14

Preface

Jean Krivine, Angelo Troina

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2010

Langue:

english

Fichier:

PDF, 92 KB

english, 2010

15

Stochastic Bigraphs

Jean Krivine, Robin Milner, Angelo Troina

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 568 KB

english, 2008

16

Computational self-assembly

Pierre-Louis Curien, Vincent Danos, Jean Krivine, Min Zhang

Journal:

Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 1.13 MB

english, 2008

17

Dependent choice, ‘quote’ and the clock

Jean-Louis Krivine

Journal:

Theoretical Computer Science

Année:

2003

Langue:

english

Fichier:

PDF, 302 KB

english, 2003

18

DIVA: Recognition of typical situations for turbine generator diagnosis

Jean-Marc David, Jean-Paul Krivine, Jean-Pierre Tiarri, Benoit Ricard

Journal:

Journal of Intelligent & Robotic Systems

Année:

1988

Langue:

english

Fichier:

PDF, 665 KB

english, 1988

19

Opérateurs de mise en mémoire et traduction de Gödel

Jean-Louis Krivine

Journal:

Archive for Mathematical Logic

Année:

1990

Fichier:

PDF, 1.37 MB

1990

20

About classical logic and imperative programming

Jean-Louis Krivine

Journal:

Annals of Mathematics and Artificial Intelligence

Année:

1996

Langue:

english

Fichier:

PDF, 500 KB

english, 1996

21

Typed lambda-calculus in classical Zermelo-Frænkel set theory

Jean-Louis Krivine

Journal:

Archive for Mathematical Logic

Année:

2001

Langue:

english

Fichier:

PDF, 128 KB

english, 2001

22

Self-assembling Trees

Vincent Danos, Jean Krivine, Fabien Tarissan

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2007

Langue:

english

Fichier:

PDF, 314 KB

english, 2007

23

Preface

Paola Giannini, Jean Krivine

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2011

Langue:

english

Fichier:

PDF, 106 KB

english, 2011

24

Testing for in utero human immunodeficiency virus infection with fetal blood sampling

Laurent Mandelbrot, Yves Brossard, Jean-Thierry Aubin, Christiane Bignozzi, Anne Krivine, François Simon, Marc Dommergues

Journal:

American Journal of Obstetrics and Gynecology

Année:

1996

Langue:

english

Fichier:

PDF, 451 KB

english, 1996

25

Interferon and Aicardi-Goutières syndrome

PIERRE LEBON, JEAN FRANÇOIS MERITET, ANNE KRIVINE, FLORE ROZENBERG

Journal:

European Journal of Paediatric Neurology

Année:

2002

Langue:

english

Fichier:

PDF, 123 KB

english, 2002

26

General Reversibility

Vincent Danos, Jean Krivine, Paweł Sobociński

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2007

Langue:

english

Fichier:

PDF, 360 KB

english, 2007

27

Cellular and humoral immunity elicited by influenza vaccines in pediatric hematopoietic-stem cell transplantation

Valérie Guérin-El Khourouj, Marie Duchamp, Anne Krivine, Béatrice Pédron, Marie Ouachée-Chardin, Karima Yakouben, Marie-Louise Frémond, André Baruchel, Jean-Hugues Dalle, Ghislaine Sterkers

Journal:

Human Immunology

Année:

2012

Langue:

english

Fichier:

PDF, 454 KB

english, 2012

28

Formal Cellular Machinery

Damgaard, Troels C., Højsgaard, Espen, Krivine, Jean

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2012

Langue:

english

Fichier:

PDF, 367 KB

english, 2012

29

[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction

Danos, Vincent, Feret, Jérôme, Fontana, Walter, Harmer, Russell, Krivine, Jean

Année:

2010

Langue:

english

Fichier:

PDF, 891 KB

english, 2010

30

Adjuvant Is Required When Using Env Lipopeptide Construct to Induce HIV Type 1-Specific Neutralizing Antibody Responses in Mice in Vivo

SAUZET, JEAN-PIERRE, MOOG, CHRISTIANE, KRIVINE, ANNE, MARTINON, FREDERIC, BOSSUS, MARC, GRAS-MASSE, HELENE, TARTAR, ANDRE, GUILLET, JEAN-GERARD, GOMARD, ELISABETH

Journal:

AIDS Research and Human Retroviruses

Année:

1998

Langue:

english

Fichier:

PDF, 1.48 MB

english, 1998

31

Rhinoviruses as an underestimated cause of influenza-like illness in pregnancy during the 2009-2010 influenza pandemic

Pilorgé, Léa, Chartier, Mélanie, Méritet, Jean-François, Cervantes, Minerva, Tsatsaris, Vassilis, Launay, Odile, Rozenberg, Flore, Krivine, Anne

Journal:

Journal of Medical Virology

Année:

2013

Langue:

english

Fichier:

PDF, 372 KB

english, 2013

32

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - A Compositional Semantics for the Reversible p-Calculus

Cristescu, Ioana, Krivine, Jean, Varacca, Daniele

Année:

2013

Langue:

english

Fichier:

PDF, 298 KB

english, 2013

33

Second Generation Expert Systems || Generic Models and Their Support in Modeling Problem Solving Behavior

David, Jean-Marc, Krivine, Jean-Paul, Simmons, Reid

Année:

1993

Langue:

english

Fichier:

PDF, 4.72 MB

english, 1993

34

[Lecture Notes in Computer Science] Reversible Computation Volume 9138 ||

Krivine, Jean, Stefani, Jean-Bernard

Année:

2015

Langue:

english

Fichier:

PDF, 7.92 MB

english, 2015

35

[Lecture Notes in Computer Science] Reversible Computation Volume 9138 || Power-Clock Generator Impact on the Performance of NEM-Based Quasi-Adiabatic Logic Circuits

Krivine, Jean, Stefani, Jean-Bernard

Année:

2015

Langue:

english

Fichier:

PDF, 240 KB

english, 2015

36

[Lecture Notes in Computer Science] Reversible Computation Volume 9138 || Application of Functional Decomposition in Synthesis of Reversible Circuits

Krivine, Jean, Stefani, Jean-Bernard

Année:

2015

Langue:

english

Fichier:

PDF, 226 KB

english, 2015

37

[Lecture Notes in Computer Science] Reversible Computation Volume 9138 || Design and Fabrication of a Microprocessor Using Adiabatic CMOS and Bennett Clocking

Krivine, Jean, Stefani, Jean-Bernard

Année:

2015

Langue:

english

Fichier:

PDF, 341 KB

english, 2015

38

Immunogenicity and safety of influenza vaccine in inflammatory bowel disease patients treated or not with immunomodulators and/or biologics: a two-year prospective study

Launay, Odile, Abitbol, Vered, Krivine, Anne, Ben Slama, Lilia, Bourreille, Arnaud, Dupas, Jean Louis, Hébuterne, xavier, Savoye, Guillaume, Deplanque, Dominique, Bouhnik, Yoram, Pelletier, Anne Laure

Journal:

Journal of Crohn's and Colitis

Année:

2015

Langue:

english

Fichier:

PDF, 1.34 MB

english, 2015

39

HIV-1 intermittent viraemia in patients treated by non-nucleoside reverse transcriptase inhibitor-based regimen

Martinez, Valérie, Marcelin, Anne-Geneviève, Morini, Jean-Pierre, Deleuze, Jean, Krivine, Anne, Gorin, Isabelle, Yerly, Sabine, Perrin, Luc, Peytavin, Gilles, Calvez, Vincent, Dupin, Nicolas

Journal:

Année:

2005

Langue:

english

Fichier:

PDF, 88 KB

english, 2005

40

Clinical and Serologic Baseline and Follow-Up Features of Syphilis According to HIV Status in the Post-HAART Era

Farhi, David, Benhaddou, Nadjet, Grange, Philippe, Zizi, Nada, Deleuze, Jean, Morini, Jean-Pierre, Gerhardt, Philippe, Krivine, Anne, Avril, Marie-Françoise, Dupin, Nicolas

Journal:

Medicine (Williams & Wilkins)

Année:

2009

Langue:

english

Fichier:

PDF, 433 KB

english, 2009

41

A population analysis of weight-related differences in lopinavir pharmacokinetics and possible consequences for protease inhibitor-naive and -experienced patients

Bouillon-Pichault, Marion, Jullien, Vincent, Piketty, Christophe, Viard, Jean-Paul, Morini, Jean-Pierre, Chhun, Stéphanie, Krivine, Anne, Salmon, Dominique, Dupin, Nicolas, Weiss, Laurence, Lortholary

Journal:

Antiviral Therapy

Année:

2009

Langue:

english

Fichier:

PDF, 278 KB

english, 2009

42

AUSTRAL, A Multi-Platform System for Alarm Processing and Decision Support System for Distribution Network Operation

Krivine, Jean-Paul, Jehl, Olivier

Journal:

IFAC Proceedings Volumes

Année:

1997

Langue:

english

Fichier:

PDF, 1.54 MB

english, 1997

43

Dynamic Influence Networks for Rule-Based Models

Forbes, Angus G., Burks, Andrew, Lee, Kristine, Li, Xing, Boutillier, Pierre, Krivine, Jean, Fontana, Walter

Journal:

IEEE Transactions on Visualization and Computer Graphics

Année:

2018

Langue:

english

Fichier:

PDF, 2.38 MB

english, 2018

44

Combinatorial Complexity and Compositional Drift in Protein Interaction Networks

Deeds, Eric J., Krivine, Jean, Feret, Jérôme, Danos, Vincent, Fontana, Walter, Parkinson, John

Journal:

Année:

2012

Langue:

english

Fichier:

PDF, 1.61 MB

english, 2012

45

Hepatitis B infection in HIV-1-infected patients receiving highly active antiretroviral therapy in Lomé, Togo: Prevalence and molecular consequences

Patassi, Akouda, Benaboud, Sihem, Landoh, Dadja Essoya, Salou, M, Dagnra, Anoumou Claver, Saka, Bayaki, Krivine, Anne, Meritet, Jean-François, Pitché, Palokinam, Salmon-Ceron, Dominique

Journal:

South African Medical Journal

Année:

2016

Langue:

english

Fichier:

PDF, 148 KB

english, 2016

46

A calculus of branching processes

Ehrhard, Thomas, Krivine, Jean, Jiang, Ying

Journal:

Theoretical Computer Science

Année:

2019

Langue:

english

Fichier:

PDF, 6.58 MB

english, 2019

47

[AIP COMPUTATIONAL METHODS IN SCIENCE AND ENGINEERING: Theory and Computation: Old Problems and New Challenges. Lectures Presented at the International Conference on Computational Methods in Science and Engineering 2007 (ICCMSE 2007): VOLUME 1 - ()] AIP Conference Proceedings - An Exact and Scalable Stochastic Simulation Algorithm.

Krivine, Jean, Simos, Theodore E., Maroulis, George

Année:

2007

Fichier:

PDF, 930 KB

2007